<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML>
<HEAD>
	<META HTTP-EQUIV="CONTENT-TYPE" CONTENT="text/html; charset=windows-1252">
	<TITLE></TITLE>
	<META NAME="GENERATOR" CONTENT="BrOffice.org 2.4  (Win32)">
	<META NAME="AUTHOR" CONTENT="Karina Kieling">
	<META NAME="CREATED" CONTENT="20081004;16322100">
	<META NAME="CHANGEDBY" CONTENT="Karina Kieling">
	<META NAME="CHANGED" CONTENT="20081101;22042732">
	<STYLE TYPE="text/css">
	<!--
		@page { margin: 2cm }
		P { margin-bottom: 0.21cm }
		P.western { so-language: pt-BR }
	-->
	</STYLE>
</HEAD>
<BODY LANG="pt-BR" DIR="LTR">
<P STYLE="margin-bottom: 0cm; line-height: 150%"></P>
<P STYLE="margin-bottom: 0cm; line-height: 150%"></P>
<P STYLE="margin-bottom: 0cm; line-height: 150%"><B>GRAM&Aacute;TICA</B></P>
<P CLASS="western"><BR><BR>
</P>
<P CLASS="western" ALIGN=JUSTIFY STYLE="line-height: 150%">	Menezes
(2001) define como sendo, um conjunto de regras a quais, quando
aplicados sucessivamente, geram <A HREF="conceitos%20basicos.html">palavras</A>,
e o conjunto destas define uma linguagem. As gram&aacute;ticas s&atilde;o
instrumentos que facilitam muito a defini&ccedil;&atilde;o das
caracter&iacute;sticas <A HREF="analise_sintatica.html">sint&aacute;ticas</A>
das linguagens e permitem definir de forma formal e sistem&aacute;tica,
uma representa&ccedil;&atilde;o finita para linguagens infinitas. 
</P>
<P CLASS="western" ALIGN=JUSTIFY STYLE="line-height: 150%">	Furtado
(2001) defini Gram&aacute;tica, de maneira informal como sendo:</P>
<UL>
	<LI><P CLASS="western">Um sistema gerador de linguagens;</P>
	<LI><P CLASS="western">Um sistema reescrita;</P>
	<LI><P CLASS="western">Uma maneira finita de descrever (representar)
	uma linguagem;</P>
	<LI><P CLASS="western">Um dispositivo formal usado para especificar
	de maneira finita e precisa uma linguagem potencialmente infinita.</P>
</UL>
<P CLASS="western">	Exemplo intuitivo de  uma Gram&aacute;tica:</P>
<P CLASS="western">	&lt;senten&ccedil;a&gt; :: = &lt;sujeito&gt;
&lt;predicado&gt;</P>
<P CLASS="western">	&lt;sujeito&gt; :: = &lt;substantivo&gt;</P>
<P CLASS="western">	 	<B>|  &lt;artigo&gt;  &lt;substantivo&gt;</B></P>
<P CLASS="western"><B>		|  &lt;artigo&gt;  &lt;adjetivo&gt; 
&lt;substantivo&gt;</B></P>
<P CLASS="western">	&lt;predicado&gt; :: = &lt;verbo&gt;  &lt;objeto&gt;</P>
<P CLASS="western">	&lt;substantivo&gt; :: = jo&atilde;o	 | Maria |
cachorro | livro | p&atilde;o</P>
<P CLASS="western">	&lt;artigo&gt; :: = o | a</P>
<P CLASS="western">	&lt;adjetivo&gt; :: = pequeno | bom | bela</P>
<P CLASS="western">	&lt;verbo&gt; :: = morde | le | olha</P>
<P CLASS="western">	&lt;objeto&gt; :: = &lt;substantivo&gt;</P>
<P CLASS="western"><FONT COLOR="#000000"><B>		| &lt;artigo&gt; 
&lt;substantivo&gt;</B></FONT></P>
<P CLASS="western"><FONT COLOR="#000000"><B>		| &lt;artigo&gt;
&lt;adjetivo&gt; &lt;substantivo&gt;</B></FONT></P>
<P CLASS="western"><BR><BR>
</P>
<P CLASS="western" ALIGN=JUSTIFY STYLE="line-height: 150%">	<FONT FACE="Times New Roman, serif">Os
conjuntos finitos que uma gram&aacute;tica possui s&atilde;o
vari&aacute;veis (ou denominadas n&atilde;o terminais), assim a
linguagem gerada &eacute; definida recursivamente em termos das
vari&aacute;veis e de s&iacute;mbolos primitivos chamados terminais,
que pertencem ao alfabeto da linguagem.</FONT></P>
<P CLASS="western" ALIGN=JUSTIFY STYLE="line-height: 150%"><FONT FACE="Times New Roman, serif">	Formalmente,
uma gram&aacute;tica &eacute; especificada por uma qu&aacute;drupla
(N, T, P, S), onde:</FONT></P>
<P CLASS="western">	N &eacute; um conjunto  de s&iacute;mbolo
n&atilde;o-terminais(vari&aacute;veis)</P>
<P CLASS="western">	T &eacute; um conjunto de s&iacute;mbolos
terminais (constantes), e T <FONT FACE="Symbol, serif">&#61639;</FONT>
N = <FONT FACE="Symbol, serif">&#61638;</FONT></P>
<P CLASS="western">	P &eacute; um conjunto de regras de produ&ccedil;&atilde;o
(regras sint&aacute;ticas)</P>
<P CLASS="western">	S &eacute; o s&iacute;mbolo inicial da gram&aacute;tica
(S <FONT FACE="Symbol, serif">&#61646;</FONT> N).</P>
<P CLASS="western"><BR><BR>
</P>
<P CLASS="western" STYLE="line-height: 150%">	A regra de uma
gram&aacute;tica que definem as condi&ccedil;&otilde;es de gera&ccedil;&atilde;o
das palavras na linguagem &eacute; denominada de <I>produ&ccedil;&atilde;o
(</I><FONT FACE="Symbol, serif">&#61537;</FONT>,<FONT FACE="Symbol, serif">&#61538;</FONT>)<I>,
</I>representada por: <FONT FACE="Symbol, serif">&#61537;&#61614;&#61538;</FONT>.
</P>
<P CLASS="western" STYLE="line-height: 150%">	Nota: em geral se
procura usar as seguintes conven&ccedil;&otilde;es:</P>
<P CLASS="western" STYLE="margin-top: 0.42cm"><BR><BR>
</P>
<CENTER>
	<TABLE WIDTH=310 BORDER=1 BORDERCOLOR="#000000" CELLPADDING=7 CELLSPACING=0>
		<COL WIDTH=112>
		<COL WIDTH=168>
		<TR VALIGN=TOP>
			<TD WIDTH=112>
				<P CLASS="western" ALIGN=CENTER STYLE="page-break-after: avoid"><B>Letras</B></P>
			</TD>
			<TD WIDTH=168>
				<P CLASS="western" ALIGN=CENTER><B>Representam</B></P>
			</TD>
		</TR>
		<TR VALIGN=TOP>
			<TD WIDTH=112>
				<P CLASS="western" STYLE="page-break-after: avoid">A, B, C,...</P>
			</TD>
			<TD WIDTH=168>
				<P CLASS="western">N&atilde;o-terminais</P>
			</TD>
		</TR>
		<TR VALIGN=TOP>
			<TD WIDTH=112>
				<P CLASS="western" STYLE="page-break-after: avoid">a, b, c,....</P>
			</TD>
			<TD WIDTH=168>
				<P CLASS="western">Terminais</P>
			</TD>
		</TR>
		<TR VALIGN=TOP>
			<TD WIDTH=112>
				<P CLASS="western" STYLE="page-break-after: avoid">&alpha;, &beta;,
				&gamma;</P>
			</TD>
			<TD WIDTH=168>
				<P CLASS="western">Cadeias quaisquer</P>
			</TD>
		</TR>
		<TR VALIGN=TOP>
			<TD WIDTH=112>
				<P CLASS="western" STYLE="page-break-after: avoid">X, Y, Z</P>
			</TD>
			<TD WIDTH=168>
				<P CLASS="western">S&iacute;mbolos quaisquer</P>
			</TD>
		</TR>
		<TR VALIGN=TOP>
			<TD WIDTH=112>
				<P CLASS="western" STYLE="page-break-after: avoid">V, N, &sum;,
				&#1043;, &Delta;</P>
			</TD>
			<TD WIDTH=168>
				<P CLASS="western">Alfabetos</P>
			</TD>
		</TR>
	</TABLE>
</CENTER>
<P ALIGN=CENTER STYLE="margin-bottom: 0cm; font-style: normal"><FONT SIZE=2>Tabela
1: Conven&ccedil;&otilde;es de s&iacute;mbolos utilizados em
linguagens formais</FONT></P>
<P ALIGN=CENTER STYLE="margin-bottom: 0cm; font-style: normal"><BR>
</P>
<P STYLE="margin-bottom: 0cm; line-height: 150%"><B>Linguagem
definida por Gram&aacute;tica</B></P>
<P CLASS="western"><BR><BR>
</P>
<P CLASS="western" STYLE="line-height: 150%">	A linguagem definida
por uma gram&aacute;tica consiste no conjunto de cadeias de terminais
que esta gram&aacute;tica pode potencialmente gerar. O conjunto deste
ser&aacute; denominado por L(G) e a linguagens definida por uma
gram&aacute;tica G = (N,T,P,S) e dada por:</P>
<P CLASS="western" STYLE="line-height: 150%"><IMG SRC="gramatica_html_m2dc82ce0.gif" ALIGN=LEFT>		L(G)
= {<FONT FACE="Symbol, serif">&#61537;&#61472;&#61564;&#61472;&#61537;&#61472;&#61646;&#61472;&#61524;</FONT><FONT COLOR="#000000"><SUP><FONT FACE="Times New Roman, serif">*</FONT></SUP></FONT><FONT FACE="Symbol, serif">&#61472;</FONT><FONT COLOR="#000000"><FONT FACE="Symbol, serif">&#61657;&#61472;&#61614;</FONT></FONT><FONT COLOR="#000000"><SUP><FONT FACE="Times New Roman, serif">*</FONT></SUP></FONT><FONT COLOR="#000000"><FONT FACE="Symbol, serif">&#61472;&#61472;&#61537;&#61565;</FONT></FONT></P>
<P CLASS="western" STYLE="line-height: 150%"><FONT COLOR="#000000">	Conceitualmente
podemos definir como, uma cadeia pertence a L(G) se e somente se esta
consiste somente de terminais (pode ser a cadeia vazia </FONT><FONT COLOR="#000000"><FONT FACE="Symbol, serif">&#61541;&#61481;&#61484;&#61472;</FONT></FONT><FONT COLOR="#000000">e
pode ser produzida a partir de S em 0 ou mais deriva&ccedil;&otilde;es.</FONT></P>
<P CLASS="western" STYLE="line-height: 150%"><FONT COLOR="#000000">
	Uma cadeia em (T </FONT><FONT COLOR="#000000"><FONT FACE="Symbol, serif">&#61640;</FONT></FONT><FONT COLOR="#000000">
N)</FONT><FONT COLOR="#000000"><SUP><FONT FACE="Times New Roman, serif">*</FONT></SUP></FONT><FONT COLOR="#000000">
&eacute; chamada de forma sentencial, se esta pode ser produzida a
partir de S (ma ainda cont&eacute;m n&atilde;o-terminais), e assim
pode-se caraterizar L(G) como o conjunto de todas as formas
sentencial que cont&eacute;m apenas terminais, e forma geradas a
partir do s&iacute;mbolo inicial G. Sendo assim a &ldquo;aaBccD&rdquo;
&eacute; uma forma sentencial porque cont&eacute;m vari&aacute;veis(
B e C), j&aacute; &ldquo;aaabbb&rdquo; &eacute; um senten&ccedil;a
porque cont&eacute;m apenas terminais.</FONT></P>
<P CLASS="western"><BR><BR>
</P>
<P STYLE="margin-bottom: 0cm; line-height: 150%"><B>Tipos de
gram&aacute;ticas</B></P>
<P CLASS="western"><BR><BR>
</P>
<P CLASS="western" ALIGN=JUSTIFY STYLE="line-height: 150%">	Chomsky
classificou as gram&aacute;ticas conforme as restri&ccedil;&otilde;es
na forma de produ&ccedil;&atilde;o, esta &eacute; conhecida como
Hierarquia de Chomsky. Os tipos de gram&aacute;ticas definidos nesta
hierarquia s&atilde;o:</P>
<P CLASS="western" ALIGN=JUSTIFY STYLE="line-height: 150%">	Gram&aacute;tica
tipo 0 (gram&aacute;tica sem restri&ccedil;&atilde;o): N&atilde;o h&aacute;
restri&ccedil;&atilde;o na forma de produ&ccedil;&atilde;o. As regras
de uma gram&aacute;tica tipo 0 s&atilde;o regras da forma &alpha; &rarr;
&beta;. 	Exemplo:</P>
<P CLASS="western" ALIGN=CENTER>S&rarr; ABS | ab	</P>
<P CLASS="western" ALIGN=CENTER>Ba&rarr; aB | a	</P>
<P CLASS="western" ALIGN=CENTER>Aa &rarr; aa | a | &epsilon;</P>
<P CLASS="western" ALIGN=CENTER><BR><BR>
</P>
<P CLASS="western" STYLE="line-height: 150%">	Gram&aacute;tica tipo 1
(gram&aacute;ticas sens&iacute;veis ao contexto): As gram&aacute;ticas
tipo 1 s&atilde;o as gram&aacute;ticas com as regras da forma, que o
s&iacute;mbolos inicial n&atilde;o apare&ccedil;a do lado direito de
nenhuma produ&ccedil;&atilde;o e para cada produ&ccedil;&atilde;o &alpha;
&rarr; &beta;, em que exige | &alpha; | &le; | &beta;|, com exce&ccedil;&atilde;o
da regra S &rarr; &epsilon;. Exemplo:</P>
<P CLASS="western"><BR><BR>
</P>
<P CLASS="western" ALIGN=CENTER>S &rarr; aBC| aABC	</P>
<P CLASS="western" ALIGN=CENTER>A &rarr; aABC| aBC	</P>
<P CLASS="western" ALIGN=CENTER>aB &rarr; ab	aB &rarr; ab</P>
<P CLASS="western" STYLE="line-height: 150%">	Gram&aacute;tica tipo 2
(gram&aacute;tica livre de contexto): S&atilde;o as gram&aacute;ticas
com regras da forma A &rarr; &beta;, onde A &eacute; um s&iacute;mbolo
n&atilde;o terminal, e &beta; &eacute; uma seq&uuml;&ecirc;ncia
qualquer de V*, possivelmente vazia. Exemplo:</P>
<P CLASS="western" ALIGN=CENTER>S &rarr; aSb| A	</P>
<P CLASS="western" ALIGN=CENTER>A &rarr; cAd| e</P>
<P CLASS="western" ALIGN=CENTER><BR><BR>
</P>
<P CLASS="western" STYLE="line-height: 150%">	A gram&aacute;tica do
tipo 2 n&atilde;o e definido como restri&ccedil;&atilde;o do tipo 1,
porque se permite produ&ccedil;&otilde;es da forma A &rarr; &epsilon;,
com A &ne; S, e tamb&eacute;m permite que o s&iacute;mbolo inicial
apare&ccedil;a do lado direito das produ&ccedil;&otilde;es.</P>
<P CLASS="western" STYLE="line-height: 150%">	Gram&aacute;tica tipo 3
(gram&aacute;ticas regulares): As gram&aacute;ticas do tipo 3 s&oacute;
podem ter regras das formas:</P>
<P CLASS="western" STYLE="line-height: 150%"><BR><BR>
</P>
<P CLASS="western">	A &rarr; a B, onde <I>A</I> e <I>B</I> s&atilde;o
n&atilde;o terminais e <I>a</I> &eacute; um terminal;</P>
<P CLASS="western">	A &rarr; a, onde <I>A</I> &eacute; um n&atilde;o
terminal, e <I>a</I> &eacute; um terminal;</P>
<P CLASS="western"> 	A &rarr; &epsilon;,  onde <I>A</I> &eacute; um
n&atilde;o terminal.</P>
<P CLASS="western"><BR><BR>
</P>
<P CLASS="western"><BR><BR>
</P>
<P CLASS="western" STYLE="margin-bottom: 0cm"><IMG SRC="gramatica_html_m637a0871.gif" ALIGN=MIDDLE>
<A HREF="Indice.html">Voltar &Iacute;ndice</A></P>
<P CLASS="western" STYLE="margin-bottom: 0cm"><BR>
</P>
<P CLASS="western" STYLE="margin-bottom: 0cm"><BR>
</P>
<P CLASS="western" STYLE="margin-bottom: 0cm"><BR>
</P>
</BODY>
</HTML>